#xmledit_form {
  width:700px;
  height:100%;
}

#xmledit_source {
  width:698px;
  height:300px;
}

.xmledit_view {
  background-color:white;
}

#xmledit_blocknode {
  margin:10px;
  border-style:dotted;
  border-width:1px;
  border-color:black; 
  paddin-top:3px;
  padding-bottom:3px;
}

#xmledit_elementname {
  font-size:8pt;font-family:monospace
}